Formal proof - Türkisch Englisch Wörterbuch